NIL (DEFPROP ALT (LAMBDA (X) (COND ((OR (NULL X) (NULL (CDR X))) X) (T (CONS (CAR X) (ALT (CDDR X)))))) EXPR) NIL